failure 54:
Requirement failed: {initstate.11} if size<8 shall return NULL
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/math_rand_scenario.utz (math_rand_scenario.utt), line 5327 |
| occurence |
| scenario |
math_rand_scenario |
| specification function |
initstate_spec() |
| parameter value |
CallContext context = [pid=14321,thr=b749d6c0] |
| parameter value |
UIntT seed = 0 |
| parameter value |
IntT size = 4 |
| return value |
(InitstateReturnType *) struct InitstateReturnType { res=struct VoidTPtr { system=0, process=14321, address=163820952 }, CurStatePointer=struct VoidTPtr { system=0, process=14321, address=163815944 } } |
coverage
& branch |
C
size < 8: unsuccessful case |
| properties |
| REQ failed |
initstate.11 |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
The initstate() function handles restarting of random-number generator.
One of the argument to initstate() function is size of the state array.
The larger the state array, the more random the numbers.
According to LSB, values for the amount of state information are 8, 32, 64, 128, and 256 bytes
and if initstate() is called with size less than 8, it shall return NULL.
But on the target machine the function doesn't return NULL when called with size less
than 8.
|
|